Reasoning about temporal relations
نویسندگان
چکیده
منابع مشابه
Exact and approximate reasoning about temporal relations
Allen gives an algebra for representing qualitative temporal information about the relationships between pairs of intervals. In this paper, we address a fundamental reasoning task that arises in applications of the algebra: Given (possibly indefinite) knowledge about the relationships between intervals, find all feasible relationships between two intervals. We call this the minimal labels probl...
متن کاملA Model for Reasoning about Bidemsional Temporal Relations
This paper introduces the rectangle algebra as the power set of the set of the pairs of atomic relations which can hold between two rational intervals. It goes on proving that the question of the consistency of a rectangle network which constraints are preconvex is decidable by means of the path-consistency method in time polynomial in the length of the network.
متن کاملReasoning about Temporal Relations : A Maximal Tractable Subclassof
We introduce a new subclass of Allen's interval algebra we call \ORD-Horn subclass," which is a strict superset of the \pointisable subclass." We prove that reasoning in the ORD-Horn subclass is a polynomial-time problem and show that the path-consistency method is suucient for deciding satissability. Further, using an extensive machine-generated case analysis, we show that the ORD-Horn subclas...
متن کاملExact and Approximate Reasoning about Qualitative Temporal Relations
Much temporal information is qualitative information such as ‘‘The Cuban Missile crisis took place during Kennedy’s presidency,’’ where only the ordering of the end points of the two events is specified. A point and an interval algebra have been proposed for representing qualitative temporal information about the relationships between pairs of intervals and pairs of points, respectively. In thi...
متن کاملReasoning about relations.
Inferences about spatial, temporal, and other relations are ubiquitous. This article presents a novel model-based theory of such reasoning. The theory depends on 5 principles. (a) The structure of mental models is iconic as far as possible. (b) The logical consequences of relations emerge from models constructed from the meanings of the relations and from knowledge. (c) Individuals tend to cons...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the ACM
سال: 2003
ISSN: 0004-5411,1557-735X
DOI: 10.1145/876638.876639